Formal methods in knowledge engineering

Formal methods in knowledge engineering

This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the eld of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections aga...

Formal Methods in Requirements Engineering

An overview of major formal methods in Requirements Engineering is provided, as well as their application in practice, usability for business systems specification and aspects of the technology transfer.

Formal Methods for Engineering Education

The advent of massive open online courses (MOOCs) has placed a renewed focus on the development and use of computational aids for teaching and learning. In Spring 2014, a graduate course was taught at UC Berkeley to explore the use of formal methods for a range of activities in online and large-scale education, including utomatic grading, synthesizing new problems, automatically solving problem...

Formal Methods in Agent-Oriented Software Engineering

Methods and Tools for Formal Software Engineering

We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integrat...